| 1. | He developed Boolean algebra that would later make computer programming possible.
Il a créé l'algèbre booléenne qui a rendu possible la programmation informatique. |
| 2. | A complemented lattice that is also distributive is a Boolean algebra.
Un treillis distributif borné et complémenté s'appelle aussi une algèbre de Boole. |
| 3. | This is a list of topics around Boolean algebra and propositional logic.
Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle. |
| 4. | Hence all the mathematical content of Boolean algebra is captured by 2.
Ainsi tout le contenu mathématique de l'algèbre de Boole est détenu par 2. |
| 5. | Since any Boolean algebra is a distributive lattice, this shows the desired implication.
Comme toute algèbre de Boole est un treillis distributif, cela montre l'implication souhaitée. |
| 6. | Conversely, an identity that holds for an arbitrary nontrivial Boolean algebra also holds in 2.
À l'inverse, une identité qui est valable pour une algèbre booléenne non-triviale tient également dans 2. |
| 7. | Stanford Encyclopedia of Philosophy: "The Mathematics of Boolean Algebra," by J. Donald Monk.
Algèbre de Boole Partie bornée Treillis (ordonné) Stanford Encyclopedia of Philosophy: "The Mathematics of Boolean Algebra." de J. Donald Monk. |
| 8. | Recall that filters on sets are proper filters of the Boolean algebra of its powerset.
Il faut savoir que les filtres sur un ensemble sont les filtres propres de l'algèbre de Boole de ses parties. |
| 9. | Then an ultrafilter is picked in this Boolean algebra, which assigns values true/false to statements of our theory.
On choisit ensuite un ultrafiltre sur cette algèbre, le passage au quotient par cet ultrafiltre donne des valeurs vrai/faux aux assertions. |
| 10. | Royce is also perhaps the founder of the Harvard school of logic, Boolean algebra, and foundations of mathematics.
Royce peut être considéré comme le fondateur de l'école de logique de Harvard, développant parallèlement l'algèbre booléenne et la logique mathématique. |
